Exercise 4.25 - isn't this just the same as Exercise 1.6?? Well I guess they are talking more about normal-order now...
Exercise 4.26 - lazy evaluation and special forms used as arguments, say