Lesson 5 — Overflow philosophy + the first proptest