Dynamic equivalence translations