9.3.3 Systems of inequalities