Smart Contract Design (Old) | Checks Whitepaper