Li-Fan Chen
says to
YSITD
啊就一個是集合一個是命題啊