 An alternative strategy suggested by David Lewis (1969, 1972) and developed by Jaegwon Kim argues in favor of local reductions (Kim 1992). High-level kinds are multiply realized in virtue of the fact that different physical kinds play the required role in different organisms, systems or contexts. Thus, if we individuate the high-level kinds in a more fine-grained way, we can save a weaker form of type-identity theory. Even though kind K might be multiply realized by kinds P1, P2, … Pn, there are more specific contexts C1, C2 Cn, such that in each context Ci, only one physical kind Pi plays the role of K in that context. Thus we make more local or contextual identifications. For example, pain in general may not be identical with any one neural kind, but we may be able to reductively identify human-pain with one neural kind, lizard-pain with a second neural kind and octopus-pain with a third. The relevant context could be species-specific, individual-specific or even specific for conditions of occurrence within an individual.