6.3-6/4

I liked that 6.3 was about counter examples.  I liked when the book said if a problem can be proved using mathematical induction it can be proved using minimum counter examples.  I sometimes think contractions are more fun than the other types of proofs.  The difference between mathematical induction and the strong principle of mathematical induction is in the latter you have to proof an implication, I have always liked proofing implications so I think this section will be fun.