adding axioms