Email Record: Axioms for lattices and boolean algebras /