The Law of the Excluded Middle