[Axiom] AxiomChecker