Redundant constraint