Αν ο χρήστης επεξεργάζεται τη γραμμή A και η τρέχουσα τιμή του polyname ταιριάζει με την αρχική τιμή, ο επαληθευτής δεν θα πρέπει να εμφανίζει σφάλμα. Γιατί στην υλοποίησή σας ο επαληθευτής εμφανίζει σφάλμα σε αυτήν την περίπτωση, παρόλο που η αρχική τιμή του πεδίου ταιριάζει με τον εαυτό της;