Exercises 7.7 and 7.8
Exercise 7.10
Exercise 7.11