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 propositions; for unless we have these, we cannot reduce arguments put forward in the way described.