Premise: is it still there

Hypothesis: Has it been added there?
Relation: contradiction