Hagai Lavner (HUJI) - A Short Proof of Bernoulli Disjointness via the Local Lemma following ANTON BERNSHTEYN