Axiom Detection Modes