 Well, it is very discouraging. And yes, I mean, if this happens in November, who does it benefit? And I'm not sure about the answer to that, because, by the way, overall turnout, we had Democrat primaries yesterday as well in South Carolina. The turnout in those were even worse than the Republican. So the Democrats weren't too enthused either. But you're right. I mean, this is something that