J_Thomas2 comments on The Cartoon Guide to Löb’s Theorem