Stuart_Armstrong comments on Probabilistic Löb theorem

[Stuart_Armstrong]

The proof doesn’t need the stronger form, however.