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