progress in chapter 12: more induction