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