A pair that puts P to the left of the Z, and replaces the X, by the Y. One other possibility is that in the current ID the state is at the right end of the ID scanning a blank we've never visited before. 