Formal and dynamic equivalence in translation