A coding theorem for distributed computation | Synapse