Vanessa Kosoy comments on Probabilistic Payor Lemma?