If ALL of the following occur: Ohio Governor winner: Democratic party, Ohio Senate winner: Republican party, then the market resolves to Yes.