((2*x <= j && j < 3*x) && (0 <= i && i < x))