Ισχυρισμό ότι πρέπει πάντα να είναι αλήθεια για ένα συγκεκριμένο τμήμα ή ένα καθορισμένο σημείο ενός προγράμματος ηλεκτρονικού υπολογιστή.