diff --git a/draft/draft.tex b/draft/draft.tex
index bc8d70a..b98329d 100644
--- a/draft/draft.tex
+++ b/draft/draft.tex
@@ -2180,7 +2180,7 @@ Egli-Milner relator is not sound or complete, although its symmetrization is sou
 		\forall x\in S,\exists y\in T, f(x)=g(y),\\
 		\forall y\in T,\exists x\in S, f(x)=g(y).
 	\end{gather*}
-	Equivalently, $Im(f)=Im(g)$, and we call images $U$ that is in $\powf Z$. So, we equivalently have
+	Equivalently, $Im(f\mid_S)=Im(g\mid_T)$, and we call images $U$ that is in $\powf Z$. So, we equivalently have
 	\begin{align*}
 		S\;\powf f\;U,\; T\;\powf g\;U&\\
 		&\iff S\;\powf f\;U,\; U\;(\powf g)^\op\;T\\