 Thus functional reduction is primarily concerned with the connection between reduction and the metaphysics of specific properties, namely, functional ones. That is: prima facie, it is compatible (if compatible at all, cf. Block forthcoming) with various definitions of reduction. It can be incorporated within a Nagelian framework (Esfeld and Sachse 2007), and it matches New-Wave reductionist ideas. Occupant-functionalism can be regarded as being compatible even with classical type-identity theory. Thus, models of functional reduction do not give sui-generis models of reduction; rather, they can be regarded as yielding detailed theories about how functional properties behave with respect to reduction. In short, the question addressed under the heading of ‘functional reduction’ is this: How do functional properties fit into a reductionist perspective?