We present a proof of the Lovász Local Lemma thereby opening one of the two black boxes in "Distributive algorithms, the Lovasz Local Lemma, and descriptive combinatorics."