Text: He needn't have done so.
Entailment: He didn't have to do that.
Contradiction: He was forced to do that.