diff --git a/test_ b/test_
index 3d34d34..de579f1 100644
--- a/test_
+++ b/test_
@@ -1,7 +1,3 @@
-let c = ((fn x.Istruthvalue x) ,3)
-in
-let f = c 1
-in
-let x = c 2
-in
-Print(f x)
+let f n = rf n 1 1 where 
+    rec rf n c r = c eq n+1 -> r | rf n (c+1) (c*r)
+in Print(f 3 , f 5 ,f 7)