Premise: Then all are accounted for.

Hypothesis: There are none missing.
Relation: entailment