If types, not tokens, are in question, then the theory amounts to what Kaplan says; but if so, why not state things as Kaplan does, that the words designate themselves, rather than the words of the other speaker?