diff --git a/Bookshelf.lean b/Bookshelf.lean
index 071c927..88c1df8 100644
--- a/Bookshelf.lean
+++ b/Bookshelf.lean
@@ -1,4 +1,4 @@
 import Bookshelf.Apostol
 import Bookshelf.Avigad
-import Bookshelf.Enderton
+import Bookshelf.Enderton_Logic
 import Bookshelf.Fraleigh
diff --git a/Bookshelf/Enderton.lean b/Bookshelf/Enderton.lean
deleted file mode 100644
index 30e3af7..0000000
--- a/Bookshelf/Enderton.lean
+++ /dev/null
@@ -1 +0,0 @@
-import Bookshelf.Enderton.Chapter_0
diff --git a/Bookshelf/Enderton_Logic.lean b/Bookshelf/Enderton_Logic.lean
new file mode 100644
index 0000000..a531813
--- /dev/null
+++ b/Bookshelf/Enderton_Logic.lean
@@ -0,0 +1 @@
+import Bookshelf.Enderton_Logic.Chapter_0
diff --git a/Bookshelf/Enderton.tex b/Bookshelf/Enderton_Logic.tex
similarity index 100%
rename from Bookshelf/Enderton.tex
rename to Bookshelf/Enderton_Logic.tex
diff --git a/Bookshelf/Enderton/Chapter_0.lean b/Bookshelf/Enderton_Logic/Chapter_0.lean
similarity index 100%
rename from Bookshelf/Enderton/Chapter_0.lean
rename to Bookshelf/Enderton_Logic/Chapter_0.lean