diff --git a/out.lc b/out.lc
deleted file mode 100644
index 84d17d5..0000000
--- a/out.lc
+++ /dev/null
@@ -1 +0,0 @@
-(\identity.(\twice.(\result.result ((twice identity) VALUE)) \f.\x.(f (f x))) \x.x)
\ No newline at end of file