But the claim that the subset of non-corresponding positions is itself well-ordered is precisely wha...