Text this: The borel-cantelli lemma /