 But yeah, we appreciate people who are tuned into these August primaries. I mean, I obviously don't have a view on it one way or the other, but I do find it heartening that there are people who are watching this very closely who know kind of the stakes and know the odds. Again, Republicans, they've got a challenge in that race, but it's always healthy to have good candidates who get the message out there. So yeah, Jerry Smith.