Exercise 3.15