Lob's Theorem and Curry's Paradox

 Fitting coincidence that after yesterday's post this piece also on self-reference should come up:

https://inference-review.com/article/loebs-theorem-and-currys-paradox