what if axiom was never made (?)