Formal and dynamic equivalence examples