Worked on inequalities branch