coscup-matterbot
says to
#coscup
<simbafs> 數學歸納法，每一刻都是歷史時刻 (re @sccmeow: 歷史時刻的前一個時刻也會是歷史時刻)