 I mean, if he shows up at the Democratic convention, ends up endorsing Joe Biden, doesn't that sort of mean he just catfished the Republican convention? I deal with a lot of union people around here. As you know, the state capitol and a whole lot of union people love Donald Trump. And it doesn't matter what you tell them. And they love the Republican candidates. And it doesn't matter what you tell them. It's that old hard hat mentality from the 60s. It's still alive.