Assignment 9 (assigned 2/4, due 2/6)

Read section 3.2, stopping at "constructive proofs" on page 100.  (We will do that in the next lesson.)

Do 2c, 6, 8, and 9.