Footnotes
...
A variable is free in a procedure if it is not contained in the parameter list.
Brent Benson
Mon Sep 19 16:03:14 EDT 1994