ACL2を批判してる人たち、多分贔屓チームの選手たちからはみっともないから止めろって思われてる気するわ