checked axioms