(3) V případě, že je první poskytnutý opravený automatizovaný výstup formálně správný, hledí se na opravovaný automatizovaný výstup, jako by byl formálně správný již při poskytnutí.
(3) V případě, že je první poskytnutý opravený automatizovaný výstup formálně správný, hledí se na opravovaný automatizovaný výstup, jako by byl formálně správný již při poskytnutí.