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