Axiom 25 logic