Yes. So I'm going to answer that probably more broadly than simply what the government is focused on because there's a lot of overlap between customers in the commercial space and, of course, the government space, right? We've talked about things like power grid optimization. We've talked about programs like Golden Dome, where we have a number of products, and as Inder rightly put it, solutions that are hugely relevant. There's obviously a stronger IonQ federal team, both on the Board and the management team, which includes people like Rick Muller, the former IARPA Director. So there's a fair amount that's obviously in the classified space given that we have a lot of classified personnel deliberately in the team and in the strategy. In the defense sector, if you will, you can imagine that everything from logistics to maintenance to AFRL, we have a contract with of size where it's quantum networking of two computers, and that's obviously been running for about a year's time. I think it's safe to say that there is more that we're able to offer in the quantum realm for more agencies than any other company on the planet. And we have a deliberate strategy for not just the U.S., but what's called the Five Eyes and of course, NATO beyond that. We're proud of the fact that we're making considerable inroads in our investments in Europe. And of course, we have our President of Quantum Computing in the U.K. I was the only Quantum CEO at the Chequers Technology Prosperity Deal last month, right, between President Trump and Prime Minister Starmer. So I think it is safe to take away from that, that we have fantastic momentum with, let's just say, the classified space and ministers of many friendly and allied nations. But I think that the applications we're working on have much broader application in the commercial sector, right? There's overlap for companies of scale in the commercial space with what the government is interested in. In fact, I'd say there's overlap anyone that has any scale, right? Nobody wants to get hacked, honestly, Craig, right? And things like quantum cybersecurity and QKD, they're hugely relevant today because people are getting hacked today. You've heard me say in the past, you can spot our quantum security customers because they're typically not in the news for data breaches. And nobody really wants to be in the news for data breaches, right? So we're an integral part of not just national security, but national economic security as we see it. And we're an integral part of where the Fortune 500 is planning out their road maps in the next few years, frankly, across our business.