>>2049856
ACL2の価値を高められるのは参加チームしかないからちゃんといい試合してほしいぞ。