Justification

There are no *a*s which are non-*a*s. This is the term-logical version of the Principle of (Excluded) Contradiction, going back to Aristotle.

NEXH N*ab* ∧ N*ab*' → N*a* (N-Exhaustion)
