Dynamic and formal equivalence