If the total vote count for all participants in Michigan Senate General Election is above 6700000, then the market resolves to Yes.