Link conditions, quantifiers, and negation into reasoning — using counterexamples, the contrapositive, and proof by contradiction — and pave the way for rigorous arguments about sequences and function limits.