dynamic-and-formal-equivalence