Before revision: The validity of a conditional proof does not require that the CPA is actually true, only that if it were true it would lead to the consequent.
After revision: 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.