The upvar (and uplevel) mechanism is essential for the extensibility of the language and tremendously useful for creating new control constructs.

Think of it as similar to "passing value by reference", for example when you pass the address of a variable in C/C++.