Exercise 13.1 from chapter 13