Li-Fan Chen
says to
YSITD
(λn. n (λf. λa. λb. f b (add a b)) (λx. λy. x) 0 1)