By extension there will be |q 2 | − k states between q 1 and q 2 , each of which will be merged, triggering pushback of u, so that by the time q 1 and q 2 are merged, δ 1 (q 2 , #) = ux = z = δ 1 (q 2 , #).
all non-determinism can be removed, and so T is subsequential.