things i found in involving system of linear inequalities ​