 Type-identity theory claims that for types of some domain D1, (e.g., psychology) there are types of a domain D2 (e.g., neuroscience) such that for any member x of D1, there is a member y of D2 such that x=y. This aspect is revealed in the theory’s name—it is type-identity theory. It is not just the items falling under the types that are said to be identical but also the types themselves; e.g., being a pain is said to be the very same type as being a certain pattern of neural firing. However, just to claim that for any type x of some domain D1, there is a type y of a domain D2 such that x=y does not make you a type-identity theorist. Rather, it is a specific reductionist as well as a naturalist stance that accompany these identity-claims that make them proper “type-identity” claims.