Email Record: General lattice theory /