10-Reduced-Inequalities