Comment by kragen

Nobody is claiming they've misformalized Navier-Stokes.