3.4-3.5, due on September 14

One thing about this section that was tough was the proof of theorem 3.16. It is a biconditional and so you have to prove it backwards and forwards. However, it seemed like the book only proved it forwards. It took me a little while to wrap my head around it. I realized that it was a proof by contrapositive (it didn't say)  and it still was a proof by cases. 

Proof by cases was pretty neat. It really makes sense logically to examine every case so that we can draw a general conclusion that applies for every case. As well was the introduction of "without loss of generality". I'm a fan of saving time.