diff --git a/Notes/smash.tex b/Notes/smash.tex
index 4d3e3d2..a5cd150 100644
--- a/Notes/smash.tex
+++ b/Notes/smash.tex
@@ -1121,7 +1121,7 @@ Using \autoref{lem:yoneda} (Yoneda) we can prove associativity, left- and right
 		& (A \to B \to C \to X)
 	\end{tikzcd}
 	\end{center}
-	where the square on the top right is by \autoref{lem:composition-pointed}, the square on the bottom right is naturality of $\twist$. The commutativity of the pentagon on the left is TODO (it is a diagram of a 1-coherent symmetric closed category).
+	The square in the top right is by \autoref{lem:composition-pointed}, the square on the bottom right is naturality of $\twist$. The commutativity of the pentagon on the left is TODO (it is a diagram of a 1-coherent symmetric closed category).
 \end{proof}