homomorphous
not defined yet