Exercise 2.33, page 130