Furthermore, you cannot ALTER the global variable definition at all, including its default value.

Once we have rid ourselves of all variable state changes, we can know that when we first define our variable, the definition of our variable will hold for as long as the function lasts.

This is unlike most languages - the very definition of variable tends to imply that the value is variable.