These will be required to finish the proof for the Leftover Hash Lemma. Definition 1 H∞(X) = log (maxx Pr [X = x]) Definition 2 A function Ext : U × S → V is a (k, ε) extractor if for all random variables X with H∞(X) ≥ k, we have: SD [(S,Ext(X,S)) , ...