If Tim Walz leaves as Governor of Minnesota after Issuance and before 2027, then the market resolves to Yes.