4.1 Leftover Hash Lemma and HILL Entropy

TODO: after entropy in [MU17], learn LHL [ILL89] and HILL entropy [HIL+99]