Axiom machine models on CAD