 Thus, the goal of a conditional proof is to demonstrate that if the CPA were true, then the desired conclusion necessarily follows.The validity of a conditional proof does not require that the CPA be actually true, only that "if it were true" it would lead to the consequent.Conditional proofs are of great importance in mathematics.