Dynamic equivalence translation examples