apparently new law will coincide in meaning with some variety of the former expression of the same law. I have sufficiently verified this assumption in some cases, and have never found it lead to error. Thus as AB = ABC is equivalent to A*c* = A*bc*, so we find that *ab* = *ab*C is equivalent to *ac* = *ac*B. Among the laws treated were the two A = AB and A = B which involve only two terms, because it may of course happen that among three things two only are in special logical relation, and the third independent; and the series of combinations representing such cases of relation are sure to occur in the complete enumeration. All single propositions which I could invent having been treated, pairs of propositions were next investigated. Thus we have the relations, “All A’s are B’s, and all B’s are C’s,” of which the old logical syllogism is the development. We may also have “all A’s are all B’s, and all B’s are C’s,” or even “all A’s are all B’s, and all B’s are all C’s.” All such premises admit of variations, greater or less in number, the logical distinctness of which can only be determined by trial in detail. Disjunctive propositions either singly or in pairs were also treated, but were often found to be equivalent to other propositions of a simpler form; thus A = ABC ꖌ A*bc* is exactly the same in meaning as AB = AC. This mode of exhaustive trial bears some analogy to that ancient mathematical process called the Sieve of Eratosthenes. Having taken a long series of the natural numbers, Eratosthenes is said to have calculated out in succession all the multiples of every number, and to have marked them off, so that at last the prime numbers alone remained, and the factors of every number were exhaustively discovered. My problem of 256 series of combinations is the logical analogue, the chief points of difference being that there is a limit to the number of cases, and that prime numbers have no analogue in logic, since every series of combinations corresponds to a law or group of conditions. But the analogy is perfect in the point that they are both inverse processes. There is no mode of ascertaining that a number is prime but by showing that it is not the product of any assignable factors. So there is no mode of ascertaining what laws are embodied in any series of combinations but trying exhaustively the laws which would give them. Just as the results of Eratosthenes’ method have been worked out to a great extent and registered in tables for the convenience of other mathematicians, I have endeavoured to work out the inverse logical problem to the utmost extent which is at present practicable or useful.