... t help. The main point was that the negation you ... 'M', but notice the scope of the negation only encompasses '~M ... , '~(~M -> B)', the negation outside those parentheses operates ... So it's actually the conditional relationship '-->' between '~M' and 'B' ...