Excluded third
Redirect to:
Law of excluded middle