YSITD_TG_Bot5
says to
#ysitd
<rextw>: 原來你在講謂詞演算喔