yudhister comments on Self-Referential Probabilistic Logic Admits the Payor’s Lemma