YSITD_TG_Bot
says to
#ysitd
<koru1130>: 我的意思是 對於所有a:Int 都符合 f a=a+3