The proper function of the heart is pumping the blood. According to what we call the type etiological view, this is because previous tokens of the type HEART were selected for pumping the blood. Nanay :412–431, 2010) argues that the type etiological view is viciously circular. He claims that the only plausible accounts of trait type individuation use proper functions, such that whenever the type etiological view is supplemented with a plausible account of trait type individuation, the result is a (...) view that uses proper functions to explain proper functions. We refine this objection, and argue that Nanay at most establishes a potentially benign definitional circularity. However, we show that the type etiological view’s reliance on types nevertheless generates a vicious regress. Hence the type etiological view is false. We reject dispositional and modal alternatives to the type etiological view for the reason that they either cannot accommodate malfunction, or do so at the cost of proliferation; and then formulate a novel token etiological view that overcomes both problems because it makes no reference to trait types. (shrink)