Abstract. Tokenization has experienced a revival with estimates touting projected value of the global, tokenized real-world asset (RWA) market in trillions of dollars. The future of RWA depends on verification. Indeed, verifiable information mitigates risk, which increases asset value. Put another way, some classes of assets do not yet exist due to excessive overhead or risk for investors. From a more technical point-of-view, this is the TRU story of how I tried to divest from smart contracts and learned to love the ledger. In order to realize the economic value of smart contracts, it actually pays to strip away the economic aspects of this so-called “programmable money.” Join me on a proof-by-example adventure.