>>1499494
ACL2優勝したら構想なんて気にしてなかったわぁ言えるから、とにかくACL2で結果が欲しい
構想でやられても、後からいくらでもやり返したる