diff --git a/Src.lean b/Src.lean
index 469172a..f172706 100644
--- a/Src.lean
+++ b/Src.lean
@@ -1,3 +1,5 @@
 import Src.Problem1
 import Src.Problem2
+import Src.Problem3
+import Src.Problem4
 import Src.README