arity test