If you need information on free variable you may want to see:
Fall 94
lecture 14
Fall 93
lecture 10