Craver's 'mutual manipulability' criterion holds that a component must be interventionally relevant ...