Redundant requirements