#371: Building and Using Computational Contracts, with Martin Clausen