heteromorphism

not defined yet