Text this: Lattice theory