These mirror those in Chapter 3; perhaps the advantage here is that the proof goals can be more realistic and less `mathematical'.
Section 5.4 should only form part of a second reading of the book, except for mathematically mature students. It shows how the straightforward techniques can break down, and call for us to generalise the goal of an induction proof. The section requires more logical sophistication than does the rest of the material on proof in the text.