Write contracts.