Step 3: Properties of Contracts (optional)