\forall \textrm{ ispri\v{c}nica}: (\textrm{nastavniku se ispri\v{c}nica svi\dj{}a} \Rightarrow \textrm{ispri\v{c}nica je dobra})