redxaxder comments on Probabilistic Löb theorem