This paper presents a new formal model for D–N explanation that gives intuitive criteria of acceptability, avoids the known trivializations, and links explanation with confirmation theory. Although set in the twenty-five year tradition of attempts to formalize D–N explanation, it proposes a new direction for the model that is to be distinguished from the syntactical and informational approaches by its introduction of restrictions which derive from the use which the D–N model can have in hypothesis testing. This model, illustrating the verificational approach, revises the classic H–O requirements and amends the notion of partial self-explanation to meet a criticism to which the H–O notion is vulnerable.