Premise: So it's still there unfortunately um

Hypothesis: It left a long time ago, luckily.
Relation: contradiction