axiom update