p35: The let* keyword could be defined in terms of let using syntax-rules (see section 11.19) as follows: A sample definition of let* in terms of simpler forms is in appendix B. (remove first para) p38: (eqv? (gen-loser) (gen-loser)) must answer #f, because the procedures match the last condition, "Obj1 and obj2 are procedures that would behave differently (return different values or have different side effects) for some arguments." The procedures have the side effect of modifying the value of different locations, per let (p35) "the s are bound to fresh locations holding the results". p52: The irritants should be the arguments to the operation that detected the operation. (should be "exceptional situation", drop "the" in "the arguments")