Comment by kragen

Yes, but that's irrelevant to what I said, which is that nobody is claiming they've misformalized Navier-Stokes itself.