 When you're writing smart contracts that have a large amount of money involved, it's important that you get it correct, right? When code is law, you want to get the law right the first time. And so what we've developed is an ontology for what constitutes a smart contract, what are the core principles in a smart contract, to make sure that they capture the intent of the writer of the contract. We've also put together a programming language called Plutus, which is our first attempt to build a language for writing smart contracts. It's a pure, functional, strictly typed programming language. And it's also simple enough that we can create custom variations of it, specific for reasoning about smart contracts, various domain-specific languages that have the ontology embedded right into the language. The way that a smart contract or really any transaction on a blockchain is structured is that when I send you money, I don't really send you money. What I do is I create a little program that says, you're allowed to use this money if you can provide certain information. And then when I run this program with that information, the program either says, yes, good to go, you can use this money, or it says, no, you haven't proved that this is your money. And so Plutus is the language that governs when something is usable by someone else. As part of the work on the ontology, we've been working with Professor Simon Thompson at the University of Kent in the UK. He and his graduate student Pablo have put together a fantastic paper that overviews a number of options that exist currently, and we try to extract from that as much insight as we could that could then be distilled down into the ontology. And then for the design of Plutus itself, we've been collaborating with Professor Philip Wadler at the University of Edinburgh, who, among other things, is one of the designers of the Haskell programming language, which many people may know as perhaps the most popular functional programming language around currently. And it's such an amazing pleasure to be able to work with both Simon and Phil on these things. It really is such a great opportunity.