Sec. 7, 6.2 due February 10

The idea behind the section seems easy enough.  Rather than making the base case n=1 we can use some m.  Some of the examples however still managed to confuse me, namely the one involving De Morgan's laws.  It seemed as if they started out assuming what they were trying to prove.