 There is more than one plausible model for the underspecificity of ‘case’ in the GTT. The version of pluralism we have been considering allows different kinds of things to count as ‘cases.’ Sometimes a case may be a mathematical structure, sometimes a possible world (perhaps incomplete or inconsistent) or the actual world or parts of  it.[4]  Given this, the underspecification of ‘case’ in the GTT could be less like the indeterminacy that results from variation in the domain of quantification, and more like the variation that results from polysemy. Consider: 