Text this: Nonstandard methods for navier-stokes equations