 So the interesting thing that we're doing at the moment is is taking the the paper that the researchers have written Which is a specification of what the protocol is But but it's not a specification in the way that we would like it As as implementers because it's you know that that specification is designed so that you can prove things It's not and it's so it's a very high level of abstraction and we want to have a Specification that has as small a gap as possible between the spec And the implementation and at the moment the the gap is like this and we are trying to get the gap down to like almost nothing and so that means we have to start from the paper and Come up with re-respecify it extract the specification the protocol put it in a notation that's that's appropriate for us and then do a whole step by step of refinements Getting getting from you know very high level down to more and more and more detailed low level Until we get to a point where we say okay now This is something that we can actually implement and then hopefully we can say well You know you kind of look at the code and the spec together and say these are the same We've now we've now got you know we've meet we've we've got a meeting between the spec and implementation and At least additionally we'll just you know eyeball it and say okay Those are the same thing and then that is something that then can then be run And and we're then pretty sure that it's what we want So at the moment we have just got to the stage of re-specifying the the papers description of the protocol in a in a new style and and already that's forced me and the researchers to To ask some you know, panicky detailed questions of what does that mean exactly? What is what is that representation and what about this and where did you get that from and these are things that in the paper? For the proofs don't really matter, but we need to be very specific about them when we're talking about Cardano We are actually aiming for decentralization and we were aiming for for something. That's That's that that that actually that is quite unprecedented because We also want the the system to have different properties depending on you know Who or how will it be ran or regulated? Okay, so That is why our great scientists came up with this great protocol called uroboros which is based on proof-of-stake and Over the past Months we have we have implemented it to a full extent But this all the fundamental features are there, right? We're still we're still Working on reward system and incentive structure having discussions, you know, if even if it should be even there In the production, I mean it's analyzed in the paper, but we're sort of thinking about it now and Right now we're we're doing some research regarding blockchain sharding to further improve performance