実況はめっちゃ頑張ってるよな。この人ACL2でも実況してた人やんな
解説が終わってて実況が可哀想