Exercise 2.59 and 2.60