add all inequalities