If Sheila Cherfilus-McCormick leaves as House member before July 2026, then the market resolves to Yes.