Exercise 13.0.3
Exercise 13.0.4
Exercise 13.0.5
Exercise 13.0.6
Exercise 13.0.8