It is not necessary for the computing agent to distinguish correct outcomes from incorrect ones because the procedure is defined as correct if and only if it produces an outcome.
Δεν είναι απαραίτητο για τον υπολογιστικό πράκτορα να διακρίνει σωστά αποτελέσματα από τα λανθασμένα, επειδή η διαδικασία είναι πάντα σωστή, όταν παράγει ένα αποτέλεσμα.