ACL2の組み合わせ見てから補強するのはさすがに遅すぎるか