It’s all about the dynamic vs. formal equivalence, baby.