# Posterior Analytics (Bouchier)/Book I/Chapter V
### Chapter V: From what causes mistakes arise with regard to the discovery of the Universal. How they may be avoided

    Demonstration must disregard all accidental circumstances, and aim at the discovery of the essential and universal.
We must not fail to notice that mistakes frequently arise from the primary universal not being really demonstrated in the way in which it is thought to be demonstrated. We fall into this mistake firstly when no universal can be found above the particular or particulars: secondly, when such a universal is found applicable to specifically different subjects, but yet has no name; thirdly, when the universal to be demonstrated stands to the true universal in the relation of part to whole.
In this last case the demonstration is indeed applicable to all the particular parts, but will not contain a primary universal. I consider the demonstration to be primary and essential when it is a demonstration of a primary universal. If then it were to be proved that perpendiculars to the same line are parallel, it might be thought that this was the primary subject of the demonstration because it is true in the case of all right angles so formed. This, however, is not the whole truth. The lines are parallel not because each of the angles at their base is a right angle, and consequently equal to the other, but because such angles are in all cases equal to two right angles.
So, too, if there were no other kind of triangle than the isosceles it might be supposed that the quality of possessing angles equal to two right angles was true of the subject as isosceles. Again, the law that proportionals, whether numbers, lines, solids, or periods of time, may be permuted, would be a case, as it used to be proved, viz., of each case separately, though it may really be proved of all together by means of a single demonstration; but since no single designation included magnitudes, times and solids, and since these differ specifically, they were treated of separately. The law is now, however, proved universally. It does not apply to numbers or lines as such, but only because it belongs to the universal conception as such in which all are supposed to be. Hence even if it be proved of equilateral, scalene and isosceles triangles separately, whether by means of the same or by different proofs that every one has its angles equal to two right angles, one will not know except accidentally, that triangle possesses this quality nor will one know it of the universal triangle, even though there is no other sort of triangle than those mentioned. One does not in fact know it of triangle as such, nor yet of every individual triangle, except distributively, nor does one know it of every triangle ideally, even if there is no triangle of which one does not know it.
When, we may ask, is our knowledge not universal and when is it absolute? It is clear that our knowledge of the law would be universal if triangularity and equilateral triangularity were identical in conception. If, however, the two concepts be not identical but diverse, and if the quality in question belong to triangle as such, then a knowledge of the law as relating merely to a particular form of triangle is not universal. Now does this quality belong to triangle as such, or to isosceles triangle as such? Further, what is its essential primary subject? Also, when does the demonstration of this establish anything universal? Clearly when, after the elimination of accidental qualities, the quality to be demonstrated is found to belong to the subject and to no higher subject. For example, the quality of having its angles equal to two right angles will be found to belong to bronze isosceles triangle, but will still be present when the qualities ‘bronze’ and ‘isosceles’ are eliminated; so too, it may be said they will cease to be present when Form or Limit are eliminated. But they are not the first conditions of such disappearance. What then will first produce this result? If it is triangle, the quality of having two right angles belongs to the particular kinds of triangles as a result of its belonging essentially to triangle, and the demonstration in regard to triangle is a universal demonstration.