diff --git a/samples/simple.txt b/samples/simple.txt
index ed91543..0b88432 100644
--- a/samples/simple.txt
+++ b/samples/simple.txt
@@ -1 +1,16 @@
 (\0.
+  (\inc.
+    (\add.
+      (\mult.
+        (\exp.
+          (exp (inc (inc (inc (inc 0)))) (inc (inc (inc (inc (inc 0))))))
+          \n m.(m n)
+        )
+        \m n f.(m (n f))
+      )
+      \n m.(m inc n)
+    )
+    \n f x.(f (n f x))
+  )
+  \f x.((((((x))))))
+)
\ No newline at end of file