Li-Fan Chen says to YSITD
這算是FP的理論ㄅ