diff --git a/src/Main.hs b/src/Main.hs
index 95b33c3..7e703ba 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -168,12 +168,12 @@ prelude :: String
 prelude =
     unlines
         [ "\n"
-        , "customHelperFunctionCuzPoorImplementation : Bool () -> Int -> Bool ()"
-        , "customHelperFunctionCuzPoorImplementation x y = x"
+        --, "customHelperFunctionCuzPoorImplementation : Bool () -> Int -> Bool ()"
+        --, "customHelperFunctionCuzPoorImplementation x y = x"
         , "data Bool () where"
         , "    False : Bool ()"
         , "    True  : Bool ()"
         , "lt : Int -> Int -> Bool ()"
-        , "lt x y = customHelperFunctionCuzPoorImplementation True (x + y)"
+        , "lt x y = True"
         , "\n"
         ]