Dense_(lattice_theory) loading ...