It is not the case that The NP-completeness reduction IS the inference justification: it logically entails that solving one implies solving all. No modal ambiguity needed.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.