If Miguel Díaz-Canel leaves office before June 1, 2026, then the market resolves to Yes. If Miguel Díaz-Canel leaves solely because they have died, the associated market will resolve and the Exchange will determine the payouts to the holders of long and short positions based upon the last traded price (prior to the death). If a last traded price is not available or is not logically consistent, or if the Exchange determines at its sole discretion that the last traded prices prior to death do not represent a fair settlement value, the Outcome Review Committee will be responsible for making a binding determination of fair allocation. This market will close and expire early if the event occurs.