pos increments contraints