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