From 3d36dc32935237bebe6ee7652d1a5e8cd34af3e3 Mon Sep 17 00:00:00 2001
From: Sergey Goncharov <sergey@sergey-goncharov.org>
Date: Mon, 20 Jul 2026 14:05:33 +0100
Subject: [PATCH] pc sync

---
 draft/draft.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/draft/draft.tex b/draft/draft.tex
index 003d259..19894dd 100644
--- a/draft/draft.tex
+++ b/draft/draft.tex
@@ -3077,7 +3077,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 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.
+	Since the symmetrization of left-lax Barr relator 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.