Our next business is to state how we can reduce syllogisms to the aforementioned figures: for this part of the inquiry still remains. If we should investigate the production of the syllogisms and had the power of discovering them, and further if we could resolve the syllogisms produced into the aforementioned figures, our original problem would be brought to a conclusion. It will happen at the same time that what has been already said will be confirmed and its truth made clearer by what we are about to say. For everything that is true must in every respect agree with itself First then we must attempt to select the two premisses of the syllogism (for it is easier to divide into large parts than into small, and the composite parts are larger than the elements out of which they are made); next we must inquire which are universal and which particular, and if both premisses have not been stated, we must ourselves assume the one which is missing. For sometimes men put forward the universal premiss, but do not posit the premiss which is contained in it, either in writing or in discussion: or men put forward the premisses of the principal syllogism, but omit those through which they are inferred, and invite the concession of others to no purpose. We must inquire then whether anything unnecessary has been assumed, or anything necessary has been omitted, and we must posit the one and take away the other, until we have reached the two premisses: for unless we have these, we cannot reduce arguments put forward in the way described. In some arguments it is easy to see what is wanting, but some escape us, and appear to be syllogisms, because something necessary results from what has been laid down, e.g. if the assumptions were made that substance is not annihilated by the annihilation of what is not substance, and that if the elements out of which a thing is made are annihilated, then that which is made out of them is destroyed: these propositions being laid down, it is necessary that any part of substance is substance; this has not ............