diff --git a/Bookshelf/Enderton/Set.tex b/Bookshelf/Enderton/Set.tex
index de721ba..b66d7dc 100644
--- a/Bookshelf/Enderton/Set.tex
+++ b/Bookshelf/Enderton/Set.tex
@@ -6234,9 +6234,7 @@ Show that $<_L$ is a linear ordering on $A \times B$.
 \end{theorem}
 
 \begin{note}
-  Notice this theorem comes after \nameref{sub:theorem-4e}. Enderton introduces
-  this theorem before \nameref{sub:theorem-4e} but its proof relies on
-  \nameref{sub:theorem-4e}.
+  This theorem depends on \nameref{sub:theorem-4e} and \nameref{sub:theorem-4f}.
 \end{note}
 
 \begin{proof}