contraints are less than 0