Class BooleanLattice