Material for the seminar on July 15th

For the next seminar, we will section 4 of Chapter 1.