 That is why this is also called privacy amplification (see privacy amplification section in the article Quantum key distribution).Randomness extractors achieve the same result, but use (normally) less randomness.Let be a random variable over formula_2 and let formula_3.