Before revision:  We  show that the hard instances from this earlier work have the propertythat in every partition of the hypergraph formed by the constraints into small blocks, most of the hyperedges are incident on vertices from distinct blocks .
After revision:  We show that the hard instances from this earlier work have a particular "small-set expansion" property .