YSITD_TG_Bot
says to
#ysitd
<petjelinux>: 就 呃 其實我也不是很懂 反正學反證法的時候有提到過