diff --git a/lection-17.tex b/lection-17.tex
index 9db5cbd..90b4fdb 100644
--- a/lection-17.tex
+++ b/lection-17.tex
@@ -308,7 +308,7 @@
 \begin{itemize}
 \item если автомат имеет $\mathcal{F} = \varnothing$, то он примет любую
 бесконечную последовательность переходов.
-\item если автомат построен для оператора $\mathcal{U}$, и оператор активируется
+\item если автомат построен для оператора $\mathcal{U}$ и оператор активируется
 на шаге $k$ в последний раз --- значит, на шаге $k+1$ и на последующих шагах
 данное выражение не будет истинным (для истинности $\varphi\mathcal{U}\psi$ требуется
 наличие момента активации в будущем).