On a higher order accurate fully discrete Galerkin approximation to the Navier-Stokes equations | Synapse