Bounded_lattice loading ...