 Second part of the question of, okay, if Democrats decide to move away from Joe Biden, which they can, right? He's not the formal nominee. There are mechanisms that can do it. Well, if not Joe, then who, right? And I think there's a list, and Gretchen Whitmer is on it and possibly near the top.