CQM1H to AxiomPlus