Working through the axioms