Exercise 4.9
Exercise 4.10.ss