>>1517539

イェンス本当それで良いよ。
ACL2取れたら何の問題もない。