[External] : Re: Guards

[Brian Goetz]

> There are two kinds of input args, one is the implicit target, the others are other arguments.
> It's not obvious to me that the parameters other than the target have to have access to the bindings.

You keep saying "access to the bindings" as if that is a special thing.  
Bindings are ordinary local variables.  Code has "access" to the 
bindings when the bindings are in scope.  There's nothing magic here.