Premise: if it finally gets to that point

Hypothesis: Should it ever get to that.
Relation: entailment