"korreksjonsprosedyrer" er et 21-bokstavers substantiv som brukes som synonym for "korreksjonsformlene". korreksjonsformlene betyr: Prosedyrer for korrigering