>>1579088
言ったら他サポだとか言われて叩かれると思って言ってなかったけど、ACL2で星付けるの違和感あったから丁度良い