1/ عادة، عندما يقول النموذج "هذه هي النتيجة"، عليك أن تثق أنه تم تشغيله بشكل صحيح. مع إثبات الاستدلال، ينتج النظام دليلا تشفيريا على أن العملية الحسابية حدثت فعلا.
2/ ليس "ثق بي يا أخي". ليس "ها هي السجلات". فقط: هذا النموذج تم تشغيله على هذا المدخل، وهنا هو الدليل.
‏‎47‏