Text: The terms used in this manual are as
Entailment: The manual uses these terms
Contradiction: The terms aren't being used in this manual