Li-Fan Chen
says to
YSITD
在定義上的順序