acl2なんて出なくていいよ。
金なくて補強できないだろうし、移動する金もなさそうだし。