>>1668941
晩年とはいえ、ACL2で勝って目の前(本人おらんやったけど)でトロフィー掲げてCWCの雪辱果たせたのはよかった。