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