In this example, the lambda expression codice_1 is part of the function codice_2. When the function is run, Scheme must make the value of the lambda. It does this by making a closure with the code for the lambda and a reference to the codice_3 variable, which is a free variable inside the lambda. (A "free variable" is a name that is not bound to a value.)