Global mutable state is just the worst-case of a more general problem. Unnecessary scope and mutability make programs harder to reason about because when trying

Global mutable state is just the worst-case of a more general problem. Unnecessary scope and mutability make programs harder to reason about because when trying to understand code they require you to investigate things that you might otherwise be able to instantly rule out as impossible.