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

[James Camacho]

$P\left(\neg x\right)<1-p,$ so $P(x\wedge y)<p,$

It should be $P(x\wedge y)>p$.

[Yudhister Kumar]

Yep! Fixed.