In mathematics, the law of the excluded middle is a key presupposition behind a proof technique called proof by contradiction. Because of that, those who reject the validity of the law of the excluded middle (for example, the intuitionists) must also reject the validity of proof by contradiction as well.