 Well, I like to say that I think the federal government needs the same. They need the Musk treatment. Of course, he went all in. He got rid of 80% of the people who work for Twitter. I would venture to say if you've got federal government office buildings with 10% capacity, you could do some serious cutting. I mean, like some very serious cutting. And I hope there is that.