 And obviously the Republicans are not going to give up the electoral votes of Florida, and the Democrats are not going to give up the electoral votes of California. So what some people are saying is the date of the election in November doesn't matter. The date that matters is the date that the electors meet to vote on their nominee, which would be in December. And so we'll know who won the election, presumably, before December 12th.