Navier-Stokes Existence and Smoothness | Synapse