Nagel-style reductions operate via bridge laws connecting predicates across theories, while mechanis...