Email Record: Lattice theory /