La vérifiabilité devrait être un scalpel, pas un marteau. Pourquoi prouver tout quand seules les parties sensibles ont besoin de reçus ?