M3 has to run concurrent with M2 because | Negation Game