This has led some commenters to think that Leibniz gave up the account of sufficient reason as an a priori proof. If there were a proof or demonstration, it would reveal that the concept of the predicate was contained in the concept of the subject in a finite number of steps and hence every proposition would be necessary. Leibniz is not a necessitarian in his mature philosophy and thus he could not have accepted this consequence. Instead, he must have shifted from the conception of a sufficient