path: root/cannot_solve.md

# cannot solve

```
(λa b. a (a b b)) | (λa b. a λc. a a)

```