Redundant }