Seules les systèmes vérifiables survivront.