Correct constraints