MinibearRex comments on [SEQ RERUN] The Cartoon Guide to Löb’s Theorem