I don't understand why it is redundant.