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