# cannot solve

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