Finite-Element Approximation of the Nonstationary Navier–Stokes Problem. Part IV: Error Analysis for Second-Order Time Discretization | Synapse