Premise: capable of being verified, and linked to the data in such a manner that, if the data are changed, the signature is invalidated.

Hypothesis: The signature cannot be validated if the data is changed.
Relation: entailment