If ALL of the following occur: Texas Senate: Ken Paxton wins, Maine Senate: Susan Collins wins, then the market resolves to Yes.