start to implement inequality constraint