Contract example