Contracts and Control: A Theoretical Treatment | Synapse