If Zohran Mamdani leaves as Mayor of New York City before Jan 1, 2030, then the market resolves to Yes.