updating axioms, code