2We will use textual replacement of the parameters by the arguments in our example, although in practice the e ect is achieved via a level of indirection provided by environments, as in all the interpreters we have studied.