 In response to this worry, Leibniz develops an account of contingency in terms of infinite  analysis.[8]  Leibniz understands analysis as the process of replacing the terms of a proposition with definitions or partial definitions. A demonstration results when an identity is obtained through the process of analysis in a finite number of steps. Leibniz claims that all and only necessary truths have a finite demonstration by analysis and all and only contingent truths do not have a demonstration by analysis in a finite number of steps. In this way, he preserves the distinction between necessary and contingent truths while also maintaining that all truths are analytic, that is, true in virtue of the meaning of the concepts involved.