"rettingsprosedyre" er et 17-bokstavers substantiv som brukes som synonym for "korreksjonsformel". korreksjonsformel betyr: En prosedyre for å rette opp.