Li-Fan Chen says to YSITD
定義就是這樣