The redundancy is redundant.