>>1595892
ACL2王者でもACLEの下位カテゴリーだからだろうね、そこはもうしょうがない。