A really smart contract