Formal equivalence