If the number of Republican Senate members that lose their primary in 2026 before Nov 3, 2026 is exactly 2, then the market resolves to Yes.