Psy-Kosh comments on The Cartoon Guide to Löb’s Theorem