Vladimir_Nesov comments on Modal Fixpoint Cooperation without Löb’s Theorem

[Vladimir_Nesov]

That’s true. Sorry for not being careful, everything checks out. Something seems to have short-circuited in my mind.