updating axioms