If the number of Democratic Senate members that lose their primary in 2026 before Nov 03, 2026 is exactly 0, then the market resolves to Yes.