6.13 Reintroducing Inequalities