so just walk me, walk me through this a little bit more about like why this, why, what this pivot is, uh, to you and why this pivot came about? Uh, because I assume it wasn't only talking to Tsu, regardless of how charismatic he is.

Yeah, so about Q3-ish last year, I started talking to Zu who kept prompting things along the lines of, Evan, what is your unfair advantage? And I realized that of the things that we had been doing around prototyping formal method stuff, that it was a lot easier to help other people with deep technical background and no Founder experience go and do the thing rather than me try to build up that experience and build a team and lead it.

There was just some amount of strategy that needed to be done first and some amount of logistics and kind of support really just activation energy barrier lowering.

Um, yeah.

Yeah.

Another example is, uh, like Jason gross, uh, who now runs theorem was doing Mac interpret research on, uh, small neural networks to see if he could prove safety properties about them.

And I told him, I think that this has a lot less, uh, Well, first I found him, um, because he has basically the perfect background to run theorem, uh, and do what theorem is doing now.

Is that correct?