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