diff --git a/Game.lean b/Game.lean
index 87bf559..946612b 100644
--- a/Game.lean
+++ b/Game.lean
@@ -2,13 +2,13 @@ import GameServer.Commands
 
 import Game.Levels.Tutorial
 import Game.Levels.Addition
-import Game.Levels.Multiplication
-import Game.Levels.Power
-import Game.Levels.Function
-import Game.Levels.Proposition
-import Game.Levels.AdvProposition
-import Game.Levels.AdvAddition
-import Game.Levels.AdvMultiplication
+--import Game.Levels.Multiplication
+--import Game.Levels.Power
+--import Game.Levels.Function
+--import Game.Levels.Proposition
+--import Game.Levels.AdvProposition
+--import Game.Levels.AdvAddition
+--import Game.Levels.AdvMultiplication
 --import Game.Levels.Inequality
 
 Title "Natural Number Game"