wait let me check

1 + 1
(\f. \x. f x) (\m. \n. \f. \x. m f (n f x)) (\f. \x. f x)
(\m. \n. \f. \x. m f (n f x)) (\f. \x. f x)
\n. \f. \x. (\f. \x. f x) f (n f x)
\n. \f. \x. f (n f x)
successor

the successor function