Arity conditions added