"korrigeringsprotokoller" er et 23-bokstavers substantiv som brukes som synonym for "korreksjonsformler". korreksjonsformler betyr: Protokoller for korrigering