[SEQ RERUN] The Cartoon Guide to Lob's Theorem — LessWrong