Exercise 4.9.1
Exercise 4.9.2