CarlShulman comments on Probabilistic Löb theorem