« Un traitement de cohérence logique ne peut apporter ni données falsifiées ni erreur intrinsèque. »