. . . "For example, if inc is a procedure that adds 1 to its argument, then (double inc) should return a procedure that adds 2." . .