begin to think arity, but confusing