 These Löb conditions, as they are called nowadays, seem to cry out for a modal logical investigation, where the modality \(\Box\) stands for provability in PA. Ironically, the first time that the formalized version of Löb’s theorem was stated as the modal principle