ACL2取れなかったアルナスルはどんな補強するんだろうか
我々のせいでよりムキムキにさせてしまってすまんなwww