Li-Fan Chen says to YSITD
定義上來說算