Roger fixed M-implicature success graph