It is evident too that, if the propositions on which the deduction depends are universal, it is necessary for the conclusion of such a demonstration and of a demonstration simpliciter to be eternal too.