homomorphism and if