10. Reduced inequalities