やっぱりACL2 の件でかなり揉めたんやないかなって邪推してしまう。都合の悪いことは隠しそうやし。