Premise: He needn't have done so.

Hypothesis: He had the option to do it.
Relation: neutral