Li-Fan Chen says to YSITD
P(x) 那個 P 是謂詞嘛 那P可以是 "存在" 這個概念嗎