ACL2が確定したし、夏には補強をまた別にするのかな？
今日の感じだとあまり必要はなさそうだけど。