tokens: Lemma lem : dispbound is a crucial component of our subsequent analysis of BT noise , and we believe that it can be useful in order to investigate Quicksort under a wide variety of other noise generating processes .