 Well, first of all, I think we can probably all agree that the entire federal government is massively bloated. And if you look at Elon Musk with Twitter, it's an outer bounds to be sure, but he reportedly dismissed over 80% of that workforce. And I was just looking on Twitter before this broadcast, it's still humming along.