Text: must not be exceeded before the definitive test is initiated.
Entailment: The definitive test is initiated.
Contradiction: The definitive test is concluded.