If the number of states in which the winner of the 2026 gubernatorial general election and the winner of a 2026 U.S. Senate general election (including special elections) are nominees of different political parties is above 5, then the market resolves to Yes.