If both y and z have t-1 keys:
Note: x loses both k and pointer to z, y now contains 2t-1 keys.
Click mouse to advance to next frame.