The application of contracts | Synapse