for BL being Boolean Lattice holds (Top BL) ` = Bottom BL