Premise: A written guarantee that a system or componentcomplies with its specified requirements and is acceptable for operational use.

Hypothesis: There is no written guarantee at all for the system or component.
Relation: contradiction