Borel–Cantelli_lemma loading ...