Text: Contracts should specify how problems are to be identified and reported.
Entailment: How problems are identified and reported should be specified in the contract.
Contradiction: The contract should have no provisions for how prblems are identified or reported.