Text: capable of being verified, and linked to the data in such a manner that, if the data are changed, the signature is invalidated.
Entailment: The signature cannot be validated if the data is changed.
Contradiction: Incapable of being verified, and linked to the data in such a manner that,