$AxiomDescent