Muneeb and Steve join me back on Base Layer to talk about a big joint venture. Blockstack and Algorand, have jointly announced an independent open-source project to support a first-of-its-kind smart contract language, Clarity. Recognizing the need for smart contract languages that are more safe, secure, and predictable in order to mature the industry beyond its current state, teams run by Blockstack Founder Dr. Muneeb Ali, a Princeton Ph.D in computer science, and Algorand Founder Dr. Silvio Micali, a computer science professor at MIT, will collaborate on Clarity design and development. We talk about the why, what and how and dig deeper into how Clarity uses a "decidable" language, meaning, according to the team, developers can know, with mathematical certainty, what a program will and will not do ahead of time. This shift addresses a key obstacle currently preventing large-scale, serious use in their opinion.