Dynamic equivalence