changed ineq.sign to ineq_sign