Deduction, exhaustion, and proof by counter-example.
4 concepts
Sessions of 10 — 65 waiting, easiest first