Техническата точност не е достатъчна, ако работещият не разбира как системата го засяга или няма реален начин да оспори резултата. Това второто изречение е анализ на фондацията.

Как ще се доказва, че едно алгоритмично решение е обяснимо и оспоримо?