The built-in procedure bound to the symbol ‘lambda’ is a procedure which manufactures and returns another procedure. The first argument to ‘lambda’ is a list of arguments the newly manufactured procedure will take, and the rest of the arguments to ‘lambda’ are a list of procedure calls which make up the function body of the new procedure.