Theory of lattice-ordered groups. (2020)