Email Record: Lattice theory :