Should Exist catalogueA proof resolving Navier–Stokes existence and smoothnessMathematics should determine whether physically relevant three-dimensional fluid solutions always remain well behaved.