We resolve the two problems that Hardman raises. The first problem ari
ses from a misunderstanding: the crucial distinction is between one-mo
del and multiple-model problems. The second problem illuminates a deep
er principle: conclusions depend on the procedures for interpreting mo
dels. We describe an algorithm that obviates the problem and empirical
work that reveals a new view of syllogistic reasoning.