Now when the conclusion (that it is not the case) is more familiar, demonstration to the impossible comes about; but when the proposition in the deduction is more familiar, we have demonstrative demonstration.