If Casey DeSantis has announced they will run for an elected public office in the 2026 election after Issuance and before Nov 3, 2026, including running for the nomination of any political party to contest that office, then the market resolves to Yes.