La pile technologique du futur n'est pas seulement : calcul + données + modèles. C'est : calcul + données + modèles + preuve Preuve que les décisions ont été prises correctement. Preuve que les systèmes ont fonctionné dans les limites. Preuve que les résultats peuvent être dignes de confiance sans foi aveugle.