updated axioms