read and work through the induction intros problem, skim rest of chapter, mostly finished with bool_fn_applied_twice (could have used in presentation! extreme casework though)