If a representative of the Republican party is inaugurated as the governor of Florida pursuant to the 2026 election, then the market resolves to Yes. This market will close early following the first person to be sworn in as governor pursuant to the 2026 gubernatorial election.