diff --git a/src/topology/main/stonean.tex b/src/topology/main/stonean.tex
index dc3b0d3..b716e03 100644
--- a/src/topology/main/stonean.tex
+++ b/src/topology/main/stonean.tex
@@ -9,7 +9,7 @@
 
 \begin{theorem}[Stone-Nakano]
 \label{theorem:stone-nakano-extremely-disconnected}
-    Let $X$ be a topological space. If $X$ is extremely disconnected, then $C(X; \real)$ is order complete.  Conversely, if $X$ is ??? and $C(X; \real)$ is order complete, then $X$ is extremely disconnected. 
+    Let $X$ be a topological space. If $X$ is extremely disconnected, then $C(X; \real)$ is order complete.  Conversely, if $X$ is completely regular and $C(X; \real)$ is order complete, then $X$ is extremely disconnected. 
 \end{theorem}
 \begin{proof}
     ($\Rightarrow$): Suppose that $X$ is extremely disconnected. Let $\cf \subset C(X; \real)$ and $F \in C(X; \real)$ be an upper bound of $\cf$. For each $q \in \real$, let