Use released axiom