Hempel's Deductive-Nomological model explicitly requires that explanations subsume instances under u...