Email Record: Two sets of axioms for Boolean algebras /