exclusions, nonimplicative negation

Top