Cumulative review

Every self-check question, "check yourself" prompt, flashcard and proof-workshop problem from the course, in one deck. Each item lives in a Leitner box (1–5). A miss sends it back to box 1; a hit moves it up one box. A box-k item is due again after 1, 2, 4, 8 or 16 days. Sessions mix in earlier lectures on purpose: retrieval of older material is what makes it stick.