Ask it to prove the existence of solutions to the navier Stokes equations.