YSITD_TG_Bot
says to
#ysitd
<koru1130>: 有人類知道 Loop Invariant 是什麼ㄇ