test axiom is SAFE