From 1a0b4371f0db78a22b7bd1dbb048316acea0fa86 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ya=C3=ABl=20Dillies?= <yael.dillies@gmail.com>
Date: Thu, 16 Nov 2023 08:28:24 +0000
Subject: [PATCH] Fix blueprint

---
 blueprint/src/chapter/pfr-entropy.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/blueprint/src/chapter/pfr-entropy.tex b/blueprint/src/chapter/pfr-entropy.tex
index cfabde25..6b6cd610 100644
--- a/blueprint/src/chapter/pfr-entropy.tex
+++ b/blueprint/src/chapter/pfr-entropy.tex
@@ -222,7 +222,7 @@ \subsection{Endgame}
   \uses{first-estimate, second-estimate}
 From the definitions of $I_1,I_2$ (and some entropy lemma to deal with the third term), we see that
 \[
-  I_1 = \I{U : V \, | \, S}, \qquad I_2 = \I{W : U \, | \, S}, \qquad I_2 = \I{V : W \, | \,S}.
+  I_1 = I{U : V \, | \, S}, \qquad I_2 = I{W : U \, | \, S}, \qquad I_2 = I{V : W \, | \,S}.
 \]
 Applying Lemma \ref{first-estimate} and Lemma \ref{second-estimate} we have the inequalities
 \[   I_2 \leq 2 \eta k + \frac{2\eta(2 \eta k - I_1)}{1-\eta} .