4冠の一つがACLEだったらなぁ。
ACL2じゃ獲得した所でアジア��1なんてとてもじゃないが言えないからな。まあ自業自得な訳だが。
でも金がいいから狙っては欲しいけど。