Premise: What else can we do?

Hypothesis: We're done.
Relation: contradiction