Recognize negation for main options, show only those supporting negation.
Recognize negated protocol.