Exercise 6.1.4