 If [functional kinds] share many causally relevant properties, then they are not distinct realizations … If they have no or only few causally relevant properties in common, then there are no or just a few laws that are true of both of them. (2000: 649) 