Why is this repeated from the definition above?