Li-Fan Chen says to YSITD
只是把最前面那部分抽象成一個函數