Premise: everybody else was an import

Hypothesis: Nobody was an import.
Relation: contradiction