Lecture 13

We started the topic of induction. Basically, we just walked the proofs (or examples very similar to the proofs) in sections 11.1-11.7.