A Warning About Translating Axioms