Li-Fan Chen
says to
YSITD
FP 認為「運算」就是把一個表達式一直化簡化簡