 Not specifically, although, of course, he's already gone, but just interesting. And certainly, if you're looking at, say, the Department of Education or something, a whole lot of trimming. Maybe the FBI deals with some trimming. Again, I don't see all that as being as bad as some say it is. But nonetheless, it's not actually a Trump thing.