Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem | lit.salon