On the law of excluded middle