new axiom update (W AXIOM)