[nexa] Algorithms of Inequality