A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae