However, until M enters an accepting state, when we look at the two strings of the partial solution, one form from the first strings of the indexed pairs, and the second from the second strings of the indexed pairs. 