Premise: must not be exceeded before the definitive test is initiated.

Hypothesis: The definitive test is initiated.
Relation: entailment