Text this: Lattices to logic