DG 10 Reduced Inequalities