Zaslat SMS: Lattices to logic