YSITD_TG_Bot
says to
#ysitd
<zypeh>: 再来学 Adga, Dafny, Idris