Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem pocketEngelsk, 2017