Li-Fan Chen
says to
YSITD
等價跟相等是兩個概念