for (int i = 0; i < range - 1; i++) {
                rho.add(or(not(sorted.get(i))));
            }