Rex .__. says to YSITD
原來你在講謂詞演算喔