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

[Cyan]

I was just working through the cartoon guide pursuant to this recent discussion post, and I found this minor mistake too.