"korrigeringsprosedyrer" er et 22-bokstavers substantiv som brukes som synonym for "korreksjonsformelen". korreksjonsformelen betyr: Prosedyrer for korrigering.