diff --git a/lection-17.tex b/lection-17.tex
index 9db5cbd..a0f1142 100644
--- a/lection-17.tex
+++ b/lection-17.tex
@@ -343,7 +343,7 @@
 \item Используется специальный язык для описания алгоритмов/протоколов (Promela).
 \item Язык позволяет формализовать параллельные вычисления.
 \item Программа может быть вычислена в разных окружениях (например, случайное исполнение).
-\item Также, к программе могут быть добавлены условия, которые либо будут доказаны --- либо
+\item Также к программе могут быть добавлены условия, которые либо будут доказаны, либо
 будет найден контрпример (контрпример будет предъявлен).
 \end{itemize}
 \end{frame}