Li-Fan Chen
says to
YSITD
這定義很明顯有bug r