Premise: they're not a slug not a

Hypothesis: They must be a slug.
Relation: contradiction