Li-Fan Chen says to YSITD
定義完等於