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