Variable binding discipline

[Richard M. Stallman <RMS at MIT-AI>]

I don't think that whether a variable is special ought to be
determined only by the innermost lexically visible binding.
A LOCAL-DECLARE inside the innermost binding ought to override it.