1st pu Linear inequalities