Oh, I see, it's not an alternate binding discipline for regular variables, but a special kind of variable, that's implemented as a procedure. That's kind of like my DYNAMIC VARIABLES suggestion earlier in this thread. I wonder if Jens could be talked into that; it would completely eliminate the possibility of getting a dynamic binding instead of an error message when you mistype a variable name, which is the only possible bad result of hybrid scope.