Deductive nomological (D-N) explanation