Doesn't this duplicate the definition above?