They did not have a proof of Navier Stokes to steal.