 If the following three are true: mental properties are functional in nature, occupant-functionalism is correct, and the role of mental properties is played by physiological properties, then mental properties reduce in a straightforward sense to physiological properties. Alternatively, it has been suggested that even if identification of the functional property with its realizer is not always possible, a reduction of such properties can still be achieved, either by way of local reductions (Kim 1993), by way of the reduction to disjunctive kinds (Clapp 2001; Walter 2006), or by way of the reduction of functional sub-types (Esfeld and Sachse 2007).