Principle of the excluded middle