Exercise 4.17
Exercise 4.18