Completeness, convergence, closed sets, and subsequences, arranged to reach compactness on the real line.