 If you're the most ardent anti-Trump person at the end of four years of a Trump presidency, we will be okay. And then Marco Rubio will be running or somebody like that. I think J.D. Vance, all things considered, has taken him out of the race. We'll see with his comments, but we'll see how that goes.