"korreksjonsprosedyrer" er et 21-bokstavers substantiv som brukes som synonym for "korreksjonsformler". korreksjonsformler betyr: Prosedyrer for å korrigere feil eller unøyaktigheter