Textmeddelande: Lattices to logic