The Importance of Arbitration Orders

The key idea here is basically encoding this, this so-called arbitration order. So in our case, we don't discard, we just like kind of wait, because we know that there must be like a symbol into the right order or something. And so then when it when it arrives, then we'll reassemble everything and then do the computation. The paper is about semi-direct products and composing operations and whatever. It's like a bunch of jargon. But I mean, if you like functional programming papers, absolutely by me to read it. Right? This is not going to be accessible at all, I promise.