3.4-3.5 due Sept 14

1. The most difficult thing to understand was sub cases.
2. I found that proof evaluations was very interesting. I feel that doing these evaluations will really help me to know how to do proofs better and keep me from making mistakes. It will be good practice.