I sort of feel like this is this thing that just like everyone misunderstands because whenever we talk about verification, people are thinking like unit tests or they're thinking like lint or like type check. These are the things that are obviously really easy to automate. And these are the things that were already automated. But actually when we talk about verification for agents, it's something slightly different. It's like can the agent run the thing? It takes a little bit of mental work to figure out how exactly do you do this, because it's often not straightforward. And I think that's like, that’s one of the challenges. I remember I remember with Opus 4 Claude tested itself. And we just like hooked it up to Opus 4 And I was like, Claude build the feature and then test yourself in like bash. And it opened a little Claude CLI and tested its own feature. And I was just like, whoa.