Prends l'énoncé suivant comme vrai : "Démonstration formelle qu'un système ou un composant est conforme aux exigences spécifiées et acceptable pour une utilisation opérationnelle."
 Alors l'énoncé suivant : "Les démonstrations formelles ne sont pas nécessaires pour certifier un système." est "vrai", "faux", ou "incertain" ?