update axioms