... as a group four negate necessary and use the without as a negation ... three negate sufficient and use unable as a negation. In doing so ... you would not negate M in the necessary because you're already using ... serve as both an indicator and as a negation.