 So suppose that ‘case’ in the GTT is polysemous. Perhaps ‘case’ sometimes means possible world, but it can also be used to mean first-order model. If the classical logician means first-order model by ‘case’, then it is not legitimate to complain that he has failed to take into account incomplete possible worlds, and hence has not considered every case. On the case-as-FO-model disambiguation of ‘case’, the classical logician has considered every case, since incomplete possible worlds are not cases in that sense. 