Li-Fan Chen
says to
YSITD
P(x) 那個 P 不就是謂詞嗎