 that he's stepping aside. And like the guy said, I think that's a decision that's made by him, his wife, his family, a very close circle of advisors, and sure, Democrats, elected Democrats, Democratic leadership may or may not put pressure on him publicly or privately behind the scenes, but that's advice that he'll have to take and make the decision on his own. If he did decide to step aside, we would then have about...