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

[Kutta]

You’re right, I mixed it up. Edited the comment.