Formal and dynamic equivalence