自分はACL2の星はちいさくてもいいかと思う
なぜならACLEの星がバカでかくなってしまうから笑