3.1-3.2, due on September 17

1. I had to read many times to understand the difference between a trivial proof and a vacuous proof.

2. I think it's interesting that you shouldn't use anything unexpected in a proof. The reader should understand exactly what is happening and how it's happening.