branched the 'speedup' for quantifiers, sinse they had a worst-case efficiency of x 10 standard for n = 10,000