Tekstiviesti: Lattices to logic