Premise: A formal demonstration that a system or component complies with its specified requirements and is acceptable for operational use.

Hypothesis: Formal demonstrations aren't necessary to certify a system.
Relation: contradiction