Text this: Lattice-ordered groups :