Optimistic parallelism requires abstractions | Synapse