Premise: Then all are accounted for.
Hypothesis: There were several missing. 
Label: contradiction