Formal equivalence translation