Reduced inequalities ()