 Elbourne (2005) proposes a different D-type theory. The main thesis of the book is that pronouns of all types, proper names, and definite descriptions have a unified syntax and semantics: they are all of type \(\langle s, e\rangle\) (functions from situations to individuals) and are syntactically comprised of a definite determiner that takes two arguments: an index and an NP (noun phrase). 