hairyfigment comments on An Introduction to Löb’s Theorem in MIRI Research