縮まない塊があると圧縮は進捗を生まない

圧縮の模型（定義 3.2） を次のように変える。圧縮のあと、次のモデルの呼び出しまでに必ず文脈に戻る塊があり、その大きさを $U$ とする。圧縮で作られた要約の長さを $\sigma'$（$0 \le \sigma' \le \sigma$）とすると、圧縮の直後の文脈の大きさは $n' = F + \sigma' + U$ である。このとき次が成り立つ。

1. $n' \ge \tau$ であることと $U \ge \tau - F - \sigma'$ は同値である。とくに要約が上限いっぱい（$\sigma' = \sigma$）なら、$U \ge \tau - F - \sigma$ のとき圧縮の直後に再びしきい値以上になる。
2. $U \ge \tau - F$ なら、要約をどれだけ短くしても（$\sigma' = 0$ でも）圧縮の直後にしきい値以上になる。
3. 1 の条件が毎回成り立つあいだ、圧縮を何回繰り返しても、圧縮と圧縮の間にターンは 1 つも進まない。