Borel-Cantelli_lemma loading ...