Since the previous hypothesis was good, this will be a representative of a state q and thus the multiset will be a sequence of independent draws from the suffix distribution of this state P q .
l ∞ (Ŝ u,σ , P q ) < µ/4 by the goodness of the sample.