Added fast axiom file