Complete_lattice loading ...