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