It is clear therefore that in whatever deductive argument the propositions through which the main conclusion follows (for some of the preceding conclusions must be propositions) are not even in number, this argument either has not been deduced or it has assumed more than was necessary to establish its thesis.