Graded modal logic and counting message passing automata

Re-assign community