This makes sense to me. It's like we're peering into a portion of the main logic in a function with one frozen global state and ignoring the idea that there are zillion global variables that can alter that logic.