Li-Fan Chen
says to
YSITD
"存在" 是不是一種性質