bug with inequalities