 The first horn acknowledges a single functional kind but denies that it is multiply realized. The second horn undercuts the principal reason for grouping genuinely different physical kinds under a single functional kind. Shapiro concludes that taken together these two horns blunt any claim of multiple realizations of the same functional type. His argument has been central to more recent disputes as concerns about multiple realization shifted to the metaphysics of science (see  §3).