u put up on the Complexity list.

JA: When it comes to automating abductive reasoning, we should
    observe the historical circumstance that it is often the most
    &quot;unlikely&quot; set of hypotheses that turn out to form the correct
    conceptual framework, at least when that likelihood has been
    judged from the standpoint of the previous framework.

JC: Well, the likely ones have probably already been explored.

JA: It's more than that, as what usually happens, when regarded
retrospectively --
 