 That's kind of where the mindset is. If you're a Democrat, I think J.D. Vance is probably the best choice you could have hoped for because at least there's a kind of a linear relationship between Donald Trump and J.D. Vance that you can brand. Marco Rubio, I think, brings more to the table when it comes to political balance.