 Hello, everyone. Welcome to the August 2018 update for Project Gogan. I'm your project manager, Jared Moroney. Here's the agenda for today's call. A bit of a summary about Gogan, what have we done last month, and what are we doing this month, and some important dates for you to be aware of. So Gogan is all about delivering smart contracts for the Cardano platform. It involves changes to our architecture. We've got a settlement layer. We're going to build a new layer called the computational layer. It involves virtual machines, which will allow us to run smart contracts. And it also will involve, obviously, changes for the user, be they developers or end users. So end users will be able to use smart contracts, and developers will have tools to create them on Cardano. So last month, we continue our work on sidechains, turmeric ledgers and multi-currency. The research is maturing, and we're also in the process of doing the formal methods work, prototypes and models, which informs some of the research. So we're happy with how that's going. For Plutus, we've finished coding of the core library, and this is the processing and execution module for Plutus core. Reads, writes, type checking, and executing your produce programs. And we're now testing it. For Marlow, we almost finished the formalization in Coq. Coq is the formal proof management system, and the work we've done for it is a path to be able to prove properties about contracts. So for KVM and Yelly, a lot of work going on, but some things in particular you should be aware of include the LLVM backend, which allows us to improve the performance of KVM and Yelly, the Plutus to Yelly compiler. Which allows us to take Plutus programs and have them compiled down to Yelly and run on the LLVM. And Semantics-based Compilation, which allows us to define the semantics of a language and create a compiler so you can translate from one language to the other. For end-users and external developers, our product manager I started working with and talking to the community on Telegram, trying to get feedback about what's important to the community and how we can best serve that need. For integration, we've had a workshop in the University of Edinburgh last week where our scientists and engineers got together, along with the senior management of the company, to discuss where we are with Gogan, how the research has gone, and how we implement the research work into the code in an efficient and timely manner. We're starting work on the documentation for Plutus and Marlow. It's all well and good to have some great software, but unless we have some educational materials and reference documentation for people, they won't be able to use it properly. So we're starting a plan now to develop the educational material and technical content for that. Quality Assurances progressing very well. Our QAs are looking at how do we improve the quality of our software, adding more tests, look at automation, and also looking at being able to test performance every time we do a new build, just to make sure that everything that goes out performs better than what was there before. For marketing and external communications, I guess last month we spent a lot of time listening to the community and there were lots of questions about the LA Gas model, which we're going to be addressing in September. And very few issues were encountered on our testnet, so we're pleased about that. So we'll be telling you more about the LA Gas model as I said in September. And plans for this month. So architectural integration is a big focus. So out of the workshop in Edinburgh we've got options for how we're going to implement smart contracts in Gogan, and that's going to be discussed and the most appropriate option picked. It doesn't really change our plans, it just moderates the approach slightly. And I'll really tell you more about that in the next update at the beginning of October. We're going to advance the work on Marlow and Plutus development. So in Marlow we're going to be looking at how to start integrating the language into Cardano. And for Plutus we're doing library testing and we're starting work on the high-level language compiler infrastructure. Research and side changes continuing. And when it comes to KVM and Yale performance, the LA Gas model, the LA compiler and semantics-based compilation will also move ahead and I'll let you know more about where that is in the beginning of October. So some important dates. Most of the dates have passed but I just wanted to mention two papers that we've had accepted. Marlow paper for Isola, the yearly virtual machine paper for Popple. And this month, on the 13th and 14th of September, I'm going to be at the UP Bit Developer Conference in South Korea presenting smart contracts on Cardano. That's all we have for today. Thanks so much for your time and looking forward to talking to you next month. Bye-bye.