Exercise 3.16