pred=\n.\f.\x.n(\g.\h.h(gf))(\u.x)(\u.u)

... an den wichtigen Stellen wird sie nur von Nieten zusammengehalten.

(via)