arity check