Li-Fan Chen
says to
YSITD
suc 就是現在定義的東西