 I think for a lot of Democrats, I think some of them believe that the really hard thing and the really messy thing would be if we didn't put up a serious and passionate and robust set of ideas to compete with President Trump and Senator Vance here in the fall. So we shall see. I don't think that the issue is settled. The contrast between our ticket, the Democratic ticket and the Republican ticket has become even starker because Senator Vance, President Trump has chosen somebody