The Cartoon Guide to Löb's Theorem — AI Alignment Forum