 [s]tatements that a phenomenon PR reduces to another phenomenon PB are derivative upon the more basic claim that the theory that characterizes the first reduces to the theory that characterizes the second. (Churchland 1986: 278)