Weak solutions of Navier-Stokes equations | Synapse