>>1115763
ACL2の失格の時はかなり内部でガタついたと思うけど。何もないなんてことはない。