  Almost simultaneously with Finn’s development of Automatic Generation of Hypotheses, German mathematicians Rudolf Wille and Bernhardt Ganter were developing an aspect of Galois Theory and lattice theory (the latter being, as was said, Peirce’s invention) that came to be known as “Formal Concept Analysis.” Interestingly enough, even though the two groups of researchers initially were working completely independently of each other, the mathematical apparatus of Finn’s Automatic Generation of Hypotheses is at its core the very same apparatus as that of Wille’s and Ganter’s Formal Concept Analysis. For obvious reasons, then, there has now grown up an extensive cooperation between the German researchers and the Russian researchers, principally through the writings and intermediary work of Sergei Kuznetsov, who has been working both with the German group and with the Russian group.