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