Dynamic equivalence examples