Moved the Axiom tags to the right location.