 But presuming they try to do it and they'll have to do it, they'll have to have some degree of a convention, it's going to be the antithesis of the Republicans where you saw unity. But there's another thing you saw, even if you can't stand Donald Trump and J.D. Vance and the Republican Party or the Trump Party, which it is now, because as Matthew Bartlett pointed out, it's no longer the party of Romney, G.W. Bush. It is the party of Donald Trump and now J.D. Vance and Trump. But you saw something else that is very tough to...