Rigorous limits, continuity, compactness, and convergence on the real line — the machinery that makes calculus honest.