Solving linear inequalities.