If the certified percentage of the popular vote received by Byron Donalds in the 2026 Florida Republican gubernatorial primary is 50% to 100%, inclusive of both endpoints, then the market resolves to Yes.