Li-Fan Chen
says to
YSITD
P(x) 的 P 可不可以是 "存在"