Redirecting to Navier–Stokes existence and smoothness