Text this: General lattice theory