Formal equivalence translations