1 files changed, 6 insertions, 0 deletions

diff --git a/cannot_solve.md b/cannot_solve.md
new file mode 100644
index 0000000..711ce17
--- /dev/null
+++ b/cannot_solve.md
@@ -0,0 +1,6 @@
+# cannot solve
+
+```
+(λa b. a (a b b)) | (λa b. a λc. a a)
+
+```
\ No newline at end of file