Notes through 5.8. Exercises 5.7 and 5.8.