ski。

yコンビネータ
```sii``s`k`sk``sii
イオタ・コンビネータ
``si`k`sk

yコンビネータが境界条件のない量化である。しかし、二重の量化がない。

試してみると分かるが、イオタ・コンビネータからsやkは生まれない。