[wffurr]

Exactly. I read this:

    Ergo, dynamically-scoped variables are shadowable side-channels that can influence the behavior of a function

And thought that is exactly why not to use dynamic scoping. It makes every function impure by default.