make test axiom SAFE