Fixed axiom version