On 30 Dec 2010, at 03:05, Mark Spezzano wrote: > ... regarding formal definitions of FREE and BOUND variables he > gives Defn 5.2 as It is the occurrence of a variable that is free or bound. An occurrence of a variable is bound if it is in the scope of something that binds it; otherwise it is free.