Lattice_theory loading ...