Exercise 3.66
Couple more exercises from Chapter 3.5.3
End of Chapter 3.5.3
Exercise 3.72
Prelude of Chapter 3.5.4