Yes, it is not redundant.