Premise: The other categories of aliens and the presence requirement were retained.

Hypothesis: Aliens cannot and should not be categorized.
Relation: contradiction