ARITY -> MIN_ARITY