why come google is not coming up with navier stokes level proofs?