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