Formal equivalence translation examples