Premise: If any are left, we need to move them in.

Hypothesis: Leave them behind. They're useless.
Relation: contradiction