Premise: ! Clarification of definitions.

Hypothesis: The definitions are clarified.
Relation: entailment