Exercise 15.09b