Exercise 13.09
Exercise 13.10