Nagel and Kim argue that multiple realizability entails that higher-level predicates cannot be syste...