Exercise 3.18