perfected constraintManipulation