Will Democrats win Texas, Ohio?

If the winning party for the Class II Senate seat of Texas is the Democratic Party, AND the Class II Senate seat of Alaska is NOT the Democratic Party, AND the Class II Senate seat of Iowa is NOT the Democratic Party, AND the Class III Senate seat of Ohio is the Democratic Party for the term beginning in 2027, then the market resolves to Yes. The market resolves based on the party of the candidate first sworn into each seat for the new term, or via accelerated resolution if 4 of the 8 Designated Media Sources project the winners for all four seats. This market is mutually exclusive and only one strike may resolve to Yes.