 If you're the Democrats and you want to get rid of Biden, and a lot of them still don't, by the way, we'll get to that. But if you want to do it, you have a time box. It is almost July. The Republicans have their convention. And then about a month later, the Dems have theirs. And because of this weird quirk involving Ohio, the Democrats actually have to do their roll call potentially in early August. So we're talking about like 40 days. That is really difficult given.