... Majority).
Negation: Not the majority (not most...less than ... in necessary splits and OR in sufficient splits. Why? Because ... can prove the condition on the other side of the arrow. If ... necessary, then the arrow doesn't split. For the contrapositive, AND ...