(\add.(add (add (add \f.\x.x))) \n.\f.\x.(f ((n f) x)))