YSITD_TG_Bot
says to
#ysitd
<pcchou>: 早上起來看到 theorem prover所以進來打嘴砲 QQ