Text this: Mixed formulation for navier stokes equations