Exercise 3.17