primitivity
not defined yet