added inequalities