Representation, sophisticated voting, and the size of the gridlock region. (October 2017)