俺たちはACLEでは通用しない。
これからはACL2を目指そうじゃないか。
それでいいじゃないか。