mnli 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.