 In proof by contradiction, this permits the conclusion that since the possibility of formula_16 has been excluded, formula_15 must be true.The law of the excluded middle is accepted in virtually all formal logics; however, some intuitionist mathematicians do not accept it, and thus reject proof by contradiction as a viable proof technique.Proof by contradiction is closely related to proof by contrapositive, and the two are sometimes confused, though they are distinct methods.