Law of the excluded middle

Summary