過酷な戦いやな。
ACL2で戦ってきたから、余計にわかる。
お疲れ様、4年後期待してる。