 So I don't know the day – with the Republican Party, it was that Monday is the day that – the Monday of this week is when Republicans actually officially nominated Trump. I don't know if that's the timeline for the Democrats, but let's just assume it is. So they have until August 19th at the absolute latest, and that would be in a dramatic situation. So you've got to back off the time to get to where we are now, here in the next –