[PostScript] "(Y Y)Works" (a derivation of the y-combinator)