Some more work on the Induction chapter, but I'm stuck!