rewrite def. of arity by Yoshiki.