Text: they're not a slug not a
Entailment: They're something other than a slug.
Contradiction: They must be a slug.