does not know how to improve the homomorphism part
the homomorphism complexity is beyong my control