みんな書いているけど、本当に補強ないままいくんかこれ？？

噂すら出ないって相当隠密がうまいかマジで動いてないか・・・

ACL2辞退する気なんか？