位置 j の変更は j 以降を無効にし、j より前は影響を受けない

トークン列 $x$ と $x'$ が、ちょうど位置 $j$ で初めて食い違うとする。すなわち、$x[1..j-1] = x'[1..j-1]$ であり、かつ、「$x$ と $x'$ の両方が長さ $j$ 以上で $x_j \ne x'_j$」または「一方の長さがちょうど $j - 1$ で他方の長さが $j$ 以上」である。時刻 $t$ に生きているモデル $\mu$ の項目が、すべて $x$ のプレフィックスであるとする。このとき、時刻 $t$ に要求 $(\mu, x', b')$ を処理すると次が成り立つ。

1. 命中の長さは $\ell \le j - 1$ である。したがって、$x'$ の位置 $j$ 以降のトークンはキャッシュから読まれない。
2. $\ell$ は、生きている項目のうち長さが $\min(j - 1, b')$ 以下のものの長さの最大値に等しい。すなわち、$j$ より前の項目は、$x$ が $x'$ に変わっても命中の候補のまま残る。