 And it's kind of giving a rough estimate of what I view as the odds of Biden withdrawing. And I have to say, I think they've dropped precipitously in the past couple of days, particularly since the shocking shooting or the attempted assassination of Trump. Because that really paralyzed a lot of political movement, I think, among the Democrats today.