YSITD_TG_Bot5
says to
#ysitd
<koru1130>: P(x) 的 P 可不可以是 "存在"