  As mentioned in §1 above, there is a related distinction that needs to be mentioned in connection with the type-token distinction. It is that between a thing, or type of thing, and (what is best called) an occurrence of it—where an occurrence is not necessarily a token. The reason the reader was asked above to count the words in Stein's line in front of the reader's eyes, was to ensure that tokens would be counted. Tokens are concrete particulars; whether objects or events they have a unique spatio-temporal location.  Had the reader been asked to count the words in Stein's line itself, the reader might still have correctly answered either ‘three’ or ‘ten’. There are exactly three word types, but although there are ten word tokens in a token copy of the line, there aren't any tokens at all in the line itself. The line itself is an abstract type, as is the poem in which it first appeared.  Nor are there ten word types in the line, because as we just said it contains only the three word types, ‘a,’ ‘is’ and ‘rose,’ each of which is unique. So what are there ten of? Occurrences of words, as logicians say: three occurrences of the word (type) ‘a,’ three of ‘is’ and four of ‘rose’. Or, to put it in a more ontologically neutral fashion: the word ‘a’ occurs three times in the line, ‘is’ three times and ‘rose’ four times. Similarly, the variable ‘x’ occurs three times in the formula ‘∃x (Ax &amp; Bx)’.