Lattice_homomorphism loading ...