finished chapter: proof objects
more induction