 Generally, the FTC defaults to the party. This is not the first. We're talking about the first president who might not accept the nomination. This happens in House and Senate races, ballot races sometimes, rules different from state to state. But people can swap out in the party. It is a complication. It is much easier if it's Vice President Harris because...