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