Provably good moving least squares | Synapse