ACL2に価値があるかどうかは分からんけど、決勝でアウェイのアル・ナスルに勝利したって所にいちばん価値があると思う。