On the Principle of the Excluded Middle