Added stuff which used Borel-Cantelli lemma