Algebraic_lattice loading ...