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

[Raemon]

I haven’t had much success articulating why.

I’d be interested in a more in-depth review where you take another pass at this.