Add contract.md