Գրեք սա: Lattices to logic