This document discusses financial domain-specific languages and how computers can help people better understand complex contracts. It describes how declarative, precise languages can be used to define financial contracts in a way that is machine-readable and automatically verifiable. The author proposes combining a declarative financial language with blockchain technology to allow for trustless execution of contracts. This approach aims to make contracts more understandable to people while maintaining precision and enabling automated reasoning about terms and conditions.