By the way, in case you hadn’t noticed this, there is a brief section of the textbook that talks about some of the concepts of functions and λ notation and so forth, that we talked about yesterday in class. We’ll go into it in some more detail in the coming classes, but in case you wanted a reminder or an explanation in slightly different words, there is some of that in section 3.6 (that is, the end of chapter 3).