Putnam, Jerry Fodor, and others argued that, along with being an effective argument against type-identity theories, multiple realizability implies that any low-level explanation of higher-level mental phenomena is insufficiently abstract and general. Functionalism, which identifies mental kinds with functional kinds that are characterized exclusively in terms of causes and effects, abstracts from the level of microphysics, and therefore seemed to be a better explanation of the relation between mind and body. In fact, there are many functional kinds, such as mousetraps, software and bookshelves, that are multiply realized at the physical level.