abramdemski comments on Probabilistic Payor Lemma?