SMS dit: Lattices and Boolean Algebras