ACL2でクラブとして少しずつ大きくなっていったらええんやで、いきなりACLEでコテンパンにされるのはごめんやで