 When we were assuming that the underspecificity in the GTT resulted from underspecificity about the domain of quantification for ‘every’ there was a natural temptation to think that we would get the strictest, most careful and correct answer by dealing with a completely unrestricted domain. In the polysemy kind of case however, what can vary is not (just) the size of the domain of quantification but also which kind of object it is that we are making claims about. The result is that we can allow the domain of quantification to be as large as we like, and no object of the wrong kind can count as a counterexample to the general claim, precisely because it is of the wrong kind. To illustrate with ‘bank’: if we mean bank-as-financial-institution, then no bank-as-building can serve as a counterexample to (1), no matter how unrestricted the domain of quantification—since the sentence is not making a claim about such things. And conversely, if we mean bank-as-building, then no internet bank-as-financial institution can be a counterexample to sentence (3). 