The lambda calculus is mutable and dynamically scoped

McCarthy was right when he created the mutable, dynamically scoped lambda calculus. Church was the one who was wrong.

I eat penis duck