SMS dit: Lattice theory