Satisfying the constraints