Summing up program theory | Synapse