 Whitmer took herself out of the running, said even if the president steps aside, she has no plans to campaign for the top of the ticket this time around. But I think that there is some, apart from the logical reasons we talked about for why it probably would have to be Kamala Harris, given just the lack of time there is between now and about a month from now when they have to formally nominate someone to the top of the ticket, if not President Biden, it just...