Lecture 01 - Introduction to Scheme, Substitution Model