Design+Ideas+for+Behavioral+Contracts

= Designing the Contract =