The end-point regularity criterion for the Navier–Stokes equations in terms of ∂3u. (October 2020)