7We described this as a “new” variable while describing substitution in Module 2. You will see both terms used in semantics.