Exercise 2.58, part a