 The type view has been argued to provide solutions to several traditional problems for propositional thought, including Frege’s puzzle, first-person belief, Kripke’s puzzle about belief, and the problem of empty names.  In responding to these problems, Soames invokes “Millian modes of presentation,” or ways of cognizing an object in thought which do not affect the representational content of the act,  to preserve a non-Fregean, Millian view of semantic content for names and natural kind terms while individuating propositions finely enough to solve traditional problems in the philosophy of language.  Hanks, by contrast, invokes distinct types of referential and expressive acts as the constituents of propositions.  On this view, each use of a name falls under several different reference types which differ in their fineness of grain, each associated with a different proposition.