Supposons qu'il soit vrai que "Démonstration formelle qu'un système ou un composant est conforme aux exigences spécifiées et acceptable pour une utilisation opérationnelle.",
 Donc, "Les démonstrations formelles ne sont pas nécessaires pour certifier un système." ? "vrai", "faux", ou "incertain" ?