If M is going to move left, there will be another choice of next index that simulates the move correctly and the sequence where is chosen instead will fail to yield the solution to the NBCB instance we're constructing. 