Redundant identifier is redundant.