 as the nominee, and now I believe that that's a real option. And I think the key is where are we kind of post next week? Big holiday, July 4th, is in the middle of next week. So kind of look at it next week. Are Democrats still talking about this? Are they still worried about this? Are they still putting in an apparatus in place to put that pressure campaign on Joe Biden in a public way like they did in a freakout last night?