If John Fetterman announces they are leaving party (or are no longer caucusing with them in the Senate) before Jan 1, 2028, then the market resolves to Yes.