Exercise 1.15