Malý zlepšení popisu korektnosti 12