Pātuhitia tēnei: Axioms for lattices and boolean algebras