LCOL Algebra 19: Inequalities 1