 In other words, the distinction is supposed to be between objective relations among premises and conclusions, and subjective ways of discovering those relations. The “context of discovery” is not about search for hypotheses or about the order in which hypotheses are considered but about the search for the objective inductive relation between a theory and a body of evidence. What little Reichenbach had to say publicly about how to search for promising hypotheses was reported in his review of Popper’s book, and in his dismissal in his reply to Nagel of Peirce’s “abduction” as a confusion of mathematical and psychological relations. While Carnap later imagined an inductive, logically omniscient robot (Carnap, 1960), and Hempel much later (in “Thoughts on the Limitations of Discovery by Computer”, Hempel 1985) claimed that computerized generation of interesting scientific hypotheses is impossible, Reichenbach seems not to have given any thought to questions about how to come up with hypotheses and about better and worse ways to search through the space of logically possible theories. He had one fundamental procedure for estimating true hypotheses: the straight rule, and one secondary procedure, whose application he never coherently explained, Bayes rule with objective, frequentist, prior probabilities for hypotheses. 