Borel version of the Local Lemma - Endre Csóka; Łukasz Grabowski; András Máthé; Oleg Pikhurko; Konstantinos Tyros (2016)