Li-Fan Chen
says to
YSITD
然後我們 apply (+1) 上去 ( (+1) 是 (x) => x+1 的意思)