and and arity