# cannot solve

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

```