If Alice measured \(S_{az}\), then surely she could have instead measured \(S_{ax}\) perhaps making the choice between this and \(S_{az}\) at the very last instant, even after Bob has completed his measurement; what would have occurred in that situation? This is a counterfactual question of the form discussed in subsection 5.2,  and we refer the reader to the references given there.