Or better yet, the y combinator is this: W S (Q (S I I))

The whole point is that we don't need no stinking variables.