Law of the excluded middle