If all four of Representatives Tony Gonzales, Eric Swalwell, Cory Mills, and Sheila Cherfilus-McCormick leave the U.S. House of Representatives (based on actual departure date, per EFFECTIVELEAVE) before November 3, 2026, then the market resolves to Yes.