Larry_D'Anna comments on The Cartoon Guide to Löb’s Theorem