Zaslat SMS: Lattices and Boolean Algebras