Formal equivalence examples