cos326-2020-10-01-generalized-induction-hyps