exomorphism
not defined yet