>>875869
ACL2の2nd legとか絶好の機会だったのに誰かさんのせいでなくなりましたね。