ACLだったら本当に楽しみなんだけどな。
残念ながらACL2なので楽しみは半減だよ。