The functions of program theory | Synapse