succ=\n.\f.\x.f((nf)x)


Comics and Images: