If §17 were merely anti-Humean stage-setting, the transition to §§18–20 would lack the logical grounding Kant explicitly claims to be providing in the Leitfaden argument.