Reduced inequalities