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