Axiom decide