Thanks Emil. > I think bound and free usually refers to *occurrences* of variables in > an expression. Right. I think I was a bit confused here. > However, I think that "bound" is also sometimes used to mean "in scope", > and this seems to be mainly your interpretation. Yup, I think that was it. Thanks for clearing this up for me. Janek