Premise: Have to until Shadow can trail again.

Hypothesis: I can leave with Shadow now.
Relation: contradiction