Principle of excluded middle

Summary