Lovász local lemma