Premise: He needn't have done so.

Hypothesis: He didn't have to do that.
Relation: entailment