I -- Judson and I did not overlap at Oracle, but he was at Oracle, and he ran alliances at Oracle at the time that Oracle acquired Siebel Systems in January of 2006, and many of the Siebel people went to work for him. I did -- our relationship between Microsoft and C3 has pretty much always been driven between, well, Judson and I. And this agreement was put together with Judson and I, and he and I are coordinating this very closely. Federal. I just came from the Reagan Defense Forum in Simi Valley, where all the defense contractors there, all the software companies are there, Secretaries of Defense are there, Army, Navy, Air Force, Marines, all the military leaders and acquisition professionals. And whereas in former years, the subjects were about submarines and carriers and space and aircraft, Pat, there was one subject on every panel, okay? And one subject at every speech, and that was AI applications, AI applications, AI applications, AI applications, and then cyber. That's what went on for two days. And so I think we're going to see a dramatic acceleration of AI adoption in the federal government, certainly with Elon and company, across all lines of all aspects of operating the business, whether it's CMS, HHS, Treasury, wherever, Department of Justice, but most certainly in the defense and intelligence community. And I think they're going to dramatically change the way that they acquire these technologies, where they acquire the bulk of their -- in the defense department, but as you're aware, they acquire almost everything from six vendors. I think those days are over. And I think the beltway bandit heads are going to be spinning as the private enterprise moves in to support the defense and intelligence companies in the current administration.