>>988275
ACL2の話しかしてないんだが。

>>988279
罰ゲームなんて言ってる人だからリスペクトに欠けてるんだろうけど、Eでも2でも同じよ。
だからあえて「ACL」と書いておいたんだよ。