Compound+Inequalities