return the constraint