primeness
not defined yet