If the exact result in the 2026 Florida Republican gubernatorial primary is Byron Donalds (1st), Jay Collins (2nd), James Fishback (3rd), then the market resolves to Yes.