extrinsicalness
not defined yet