Coded Inequalities