A pair in which Q to the left of X, that's this, can be replaced by a P to the right of Y. That correctly reflects the change in ID that occurs at the rightward move and if the move is to the left, then we have a family of pairs, one for each symbol Z which could appear to the left of the state. 