YSITD_TG_Bot5
says to
#ysitd
<koru1130>: P(x) 那個 P 不就是謂詞嗎