Let $M$ be a closed simply connected three-manifold. Any Ricci flow with surgery starting from a smooth metric on $M$ whose surgery parameters, cutoff scales, canonical-neighborhood assumptions, pinching estimates, and noncollapsing controls are chosen according to Perelman's construction becomes extinct in finite time.