Li-Fan Chen
says to
YSITD
是 ordered pair 還是 set