slight updates to ineq