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