If Ken Martin leaves as chair of the Democratic National Committee before Jan 1, 2027, then the market resolves to Yes.