Formal equivalence in translation