meaning of non-formal2 is taken from Barth and Krabbe (1982), which is explained below. To understand the definition above, one must understand informal which takes its meaning in contrast to its counterpart formal. (This point was not made for a very long time, hence the nature of informal logic remained opaque, even to those involved in it, for a period of time.) Here it is helpful to have recourse to Barth and Krabbe (1982:14f) where they distinguish three senses of the term form. By form1, Barth and Krabbe mean the sense of the term which derives from the Platonic idea of form—the ultimate metaphysical unit. Barth and Krabbe claim that most traditional logic is formal in this sense. That is, syllogistic logic is a logic of terms where the terms could naturally be understood as place-holders for Platonic (or Aristotelian) forms. In this first sense of form, almost all logic is informal (not-formal). Understanding informal logic this way would be much too broad to be useful. By form2, Barth and Krabbe mean the form of sentences and statements as these are understood in modern systems of logic. Here validity is the focus: if the premises are true, the conclusion must then also be true. Now validity has to do with the logical form of the statement that makes up the argument. In this sense of formal, most modern and contemporary logic is formal. That is, such logics canonize the notion of logical form, and the notion of validity plays the central normative role. In this second sense of form, informal logic is not-formal, because it abandons the notion of logical form as the key to understanding the structure of arguments, and likewise retires validity as normative for the purposes of the evaluation of argument. It seems to many that validity is too stringent a requirement, that there are good arguments in which the conclusion is supported by the premises even though it does not follow necessarily from them (as validity requires). An argument in which the conclusion is thought to be "beyond reasonable doubt, given the premises" is sufficient in law to cause a person to be sentenced to death, even though it does not meet the standard of logical validity. This type of argument, based on accumulation of evidence rather than pure deduction, is called a conductive argument. By form3, Barth and Krabbe mean to refer to "procedures which