Anfonwch hwn fel neges destun: Lattices to logic