The forms of deductive reasoning as yet considered, are mostly cases of Direct Deduction as distinguished from those which we are now about to treat. The method of Indirect Deduction may be described as that which points out what a thing is, by showing that it cannot be anything else. We can define a certain space upon a map, either by colouring that space, or by colouring all except the space; the first mode is positive, the second negative. The difference, it will be readily seen, is exactly analogous to that between the direct and indirect modes of proof in geometry. Euclid often shows that two lines are equal, by showing that they cannot be unequal, and the proof rests upon the known number of alternatives, greater, equal or less, which are alone conceivable. In other cases, as for instance in the seventh proposition of the first book, he shows that two lines must meet in a particular point, by showing that they cannot meet elsewhere. In logic we can always define with certainty the utmost number of alternatives which are conceivable. The Law of Duality (pp. 6, 74) enables us always to assert that any quality or circumstance whatsoever is either present or absent. Whatever may be the meaning of the terms A and B it is certainly true that A = AB ꖌ A*b* B = AB ꖌ *a*B. These are universal tacit premises which may be employed in the solution of every problem, and which are such invariable and necessary conditions of all thought, that they need not be specially laid down. The Law of Contradiction is a further condition of all thought and of all logical symbols; it enables, and in fact obliges, us to reject from further consideration all terms which imply the presence and absence of the same quality. Now, whenever we bring both these Laws of Thought into explicit action by the method of substitution, we employ the Indirect Method of Inference. It will be found that we can treat not only those arguments already exhibited according to the direct method, but we can include an infinite multitude of other arguments which are incapable of solution by any other means.