Principle of excluded middle