complemented_distributive_lattice