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