Andrew_Critch comments on Open technical problem: A Quinean proof of Löb’s theorem, for an easier cartoon guide