1 files changed, 4 insertions, 3 deletions
diff --git a/library/everything.tex b/library/everything.tex
index 783679f..94dd6d8 100644
--- a/library/everything.tex
+++ b/library/everything.tex
@@ -30,11 +30,12 @@
 \import{topology/disconnection.tex}
 \import{topology/separation.tex}
 \import{numbers.tex}
+\import{topology/urysohn2.tex}
 
 \begin{proposition}\label{trivial}
     $x = x$.
 \end{proposition}
 
-%\begin{proposition}\label{safe}
-%    Contradiction.
-%\end{proposition}
+\begin{proposition}\label{safe}
+    Contradiction.
+\end{proposition}