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

External Content not shown. Further Information. Not much stuff this time since I am a bit handicapped. But at least something:

Deutsch:

Comics and Images: