diff --git a/draft/draft.tex b/draft/draft.tex
index 0810210..73ed9b4 100644
--- a/draft/draft.tex
+++ b/draft/draft.tex
@@ -2544,7 +2544,7 @@ The following example justifies why the $g$ in~\autoref{def:coliftable-ord} shou
 	\end{align*}\qed
 \end{proof}
 \begin{cor}
-	Since the symmetrization of left-lax Barr relator is natural, and normal, it is a normal relational connector. So, it is a sound and complete relator.
+	Since the symmetrization of left-lax Barr relator that is laxed with a lifatble order structure is natural, and normal, it is a normal relational connector. So, it is a sound and complete relator.
 \end{cor}
 \begin{cor}
 	By~\autoref{prop:all-rel-compa}.(1), if $\appr$ is liftable, then the mid-lax Barr relator is a normal relation connector, and thus a sound and complete relator as well.