• l ≤ d ≤ u: Save this occurrence in P (X[l, u]Y, Si), and then advance x to the next element in P (X, Si).